Automatyczne dowodzenie twierdzeń

Calidad:

El artículo "Automatyczne dowodzenie twierdzeń" en Wikipedia en polaco tiene 10.7 puntos por calidad (a 1 de agosto de 2024). El artículo contiene 1 referencias y 6 secciones.

Este artículo tiene la mejor calidad en Wikipedia en inglés. Además, este artículo es el más popular en esa versión de idioma.

Desde la creación del artículo "Automatyczne dowodzenie twierdzeń", , su contenido fue escrito por 25 usuarios registrados de Wikipedia en polaco fue editado por 433 usuarios registrados de Wikipedia en todos los idiomas.

El artículo es citado 33 veces en Wikipedia en polaco y es citado 1209 veces en todos los idiomas.

La clasificación más alta de interés de los autores desde 2001:

• Local (polaco): Nº 229 en diciembre de 2002
• Global: Nº 159 en noviembre de 2001

El rango de popularidad más alto de 2008:

• Local (polaco): Nº 55429 en enero de 2008
• Global: Nº 76366 en agosto de 2008

Hay 18 versiones lingüísticas de este artículo en la base de datos WikiRank (de las 55 ediciones de idiomas consideradas de Wikipedia).

La evaluación de calidad y popularidad se basó en volcados de Wikipedia del 1 de agosto de 2024 (incluido el historial de revisiones y las páginas vistas de años anteriores).

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor calidad.

#	Idioma	Grado de calidad	Puntuación de calidad
1	inglés (en) Automated theorem proving		39.4863
2	portugués (pt) Prova automática de teoremas		34.3326
3	japonés (ja) 自動定理証明		22.9521
4	italiano (it) Dimostrazione automatica di teoremi		20.3953
5	serbio (sr) Automatsko dokazivanje teorema		20.1405
6	español (es) Demostración automática de teoremas		14.509
7	vasco (eu) Teoremen frogapen automatiko		11.4527
8	polaco (pl) Automatyczne dowodzenie twierdzeń		10.6672
9	ruso (ru) Автоматическое доказательство		8.8433
10	azerbaiyano (az) Teoremlərin avtomatik sübutu		8.2056

La siguiente tabla muestra las versiones de idiomas más populares del artículo.

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Automated theorem proving		1 013 140
2	español (es) Demostración automática de teoremas		161 826
3	japonés (ja) 自動定理証明		97 457
4	ruso (ru) Автоматическое доказательство		84 998
5	polaco (pl) Automatyczne dowodzenie twierdzeń		64 193
6	chino (zh) 自動化定理證明		33 880
7	francés (fr) Démonstration automatique de théorèmes		29 520
8	portugués (pt) Prova automática de teoremas		19 296
9	italiano (it) Dimostrazione automatica di teoremi		11 984
10	persa (fa) اثبات قضیه خودکار		11 542

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor popularidad en el último mes.

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Automated theorem proving		4 735
2	japonés (ja) 自動定理証明		374
3	ruso (ru) Автоматическое доказательство		227
4	chino (zh) 自動化定理證明		216
5	español (es) Demostración automática de teoremas		118
6	italiano (it) Dimostrazione automatica di teoremi		99
7	francés (fr) Démonstration automatique de théorèmes		92
8	polaco (pl) Automatyczne dowodzenie twierdzeń		70
9	persa (fa) اثبات قضیه خودکار		58
10	serbio (sr) Automatsko dokazivanje teorema		56

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores.

#	Idioma	Premio del IA	IA relativo
1	inglés (en) Automated theorem proving		214
2	español (es) Demostración automática de teoremas		35
3	francés (fr) Démonstration automatique de théorèmes		27
4	japonés (ja) 自動定理証明		27
5	polaco (pl) Automatyczne dowodzenie twierdzeń		25
6	ruso (ru) Автоматическое доказательство		22
7	italiano (it) Dimostrazione automatica di teoremi		19
8	portugués (pt) Prova automática de teoremas		16
9	chino (zh) 自動化定理證明		13
10	ucraniano (uk) Автоматизоване доведення теорем		9

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores en el último mes.

#	Idioma	Premio del IA	IA relativo
1	serbio (sr) Automatsko dokazivanje teorema		1
2	azerbaiyano (az) Teoremlərin avtomatik sübutu		0
3	inglés (en) Automated theorem proving		0
4	español (es) Demostración automática de teoremas		0
5	vasco (eu) Teoremen frogapen automatiko		0
6	persa (fa) اثبات قضیه خودکار		0
7	francés (fr) Démonstration automatique de théorèmes		0
8	armenio (hy) Թեորեմների ավտոմատացված ապացուցում		0
9	italiano (it) Dimostrazione automatica di teoremi		0
10	japonés (ja) 自動定理証明		0

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor número de citas.

El 15 de diciembre de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Siria, Bashar Al-Assad, Cien años de soledad, Ayrton Senna, Mayotte, Kraven el Cazador, Amad Diallo, Isabel de Baviera, Red One, Muertes en 2024.

En Wikipedia en polaco los artículos más populares de ese día fueron: Magdalena Biejat, Maurizio Gucci, Patrizia Reggiani, Gucci, Aldo Gucci, Paolo Gucci, Dom Gucci (film), La Palma, Marcin Romanowski, Rodolfo Gucci.

El proyecto está destinado a la evaluación relativa automática de los artículos en las distintas versiones lingüísticas de Wikipedia. Actualmente, el servicio permite comparar más de 44 millones de artículos de Wikipedia en 55 idiomas. Los niveles de calidad de los artículos se basan en volcados de Wikipedia de agosto de 2024. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de julio de 2024. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2023... Más información